Logic is about reasoning, i.e. about deductive, inductive or abductive relationships. This tag is appropriate for logic programming languages, where computation is inference; programming problems involving a logical system, such as complexity of a satisfasfiability problem; or beginner issues, such ...
0
votes
1answer
14 views
Can I Make NOT Using OR and AND?
I know i can invert X using NOT.
NOT x = x'
But, can i invert X just with OR & AND ?
Example
Given this function
F = W'.Y.Z' + V.W'.Z'
Can i make a circuit just with OR & AND ?
Thanks
0
votes
0answers
8 views
SLD resolution correct?
about two weeks ago I've been on exam, where I had question:
Create SLD tree of all solutions for this program in prolog:
1. b :- c, b, c
2. b.
3. b :- e, a, b
4. c :- b
5. c.
6. c :- e
7. e :- a, e
...
0
votes
1answer
16 views
Enemy car moving logic in race games
I'm developing a race game in Andengine.I created a car which player is controlling.But because of being race game, there should be 3 or 4 car which snatch with the player's car.My question is: How do ...
0
votes
5answers
42 views
Hide show div onselect using javascript
This is the code i am trying -
DIVS-
<div id="showdiv16" style="display:none;">...</div>
<div id="showdiv17" style="display:none;">...</div>
<div id="showdiv18" ...
1
vote
0answers
18 views
Is MySQL logic evaluation lazy/short-circuiting in JOIN clause?
Take the following expression: FALSE AND (expression)
Will MySQL evaluate the expression or just move on as soon as it sees FALSE?
Some background context-- I wanted to speed up a query by doing:
...
-1
votes
1answer
31 views
Execute an action if your account does not login within 'X' number of days (OSX)
So, I'm trying to write a script that can perform an action if I am unable to login to my computer with X number of days. An example of this would be to send an email if I dont login after a week. ...
0
votes
1answer
22 views
LCM of two 5-bit numbers
I have written this code.When I compile the code at altera i get this error:
"Error: Termination notification: errors in c:\users....\ekok\ekok5.vhd prevent further processing."
Ekok means least ...
1
vote
3answers
29 views
Need to verify I am undserstanding SQL Logic
I would like to know if I have this SQL logic decoded correctly. Here is the the SQL:
,[hrs].[Hours] - SUM(CASE WHEN [UnitState].[UnitStateType] <> 'ACTIVE' THEN ...
1
vote
1answer
22 views
Formal Methods, Logic and VDM past exam paper questions
I was hoping someone can help me with the following questions, answers would be best but if you can point me in the right direction that will be helpful also.
I am a final year uni student and these ...
1
vote
1answer
23 views
Tools to optimize logic?
I am writing a processor simulator in java, and the control signals are beyond cumbersome. Are there any tools that generates logics as below:
binary logic(s):
input[0]: 00001
input[1]: 00000
...
2
votes
3answers
40 views
Logic for finding and excluding multiple matches from a list
I need to match contents of a list with a given pattern, and form another list which will be having everything except the matches. Meaning, I am trying to make an exclude list.
Now with one pattern ...
0
votes
3answers
32 views
Math needed to correctly positioning subviews dynamically
It's been a long day and my brain doesn't seem to want to cooperate with me anymore...
I iterate through a for-loop for each view within an array of subviews. Each subview height is 100 px. When the ...
1
vote
1answer
27 views
Complex SOLR query including NOT and OR
I have some fairly complex requirements for a SOLR search that I need to execute against my database of tagged content. I need to first filter the database to those results matching my filter tags. ...
0
votes
2answers
51 views
End View Puzzle, Prolog
I'm trying to write a solver for End View Puzzles, using CLPFD (for those who are unfamiliar, here's a simple description http://www.funwithpuzzles.com/2009/12/abcd-end-view-a1.html ). I'm working on ...
0
votes
1answer
22 views
How can I OR together to gnumakefile conditions?
Using gmake v3.80, how can I create a rule that ORs together two things. I'm starting with this code:
ifeq "$(BUILD_ARCH)" "lnx86_22"
TEST_ARCH := i86
endif
ifeq "$(BUILD_ARCH)" "linux_24_i86"
...