Skip to main content
Mathematics
user3352632's user avatar
user3352632's user avatar
user3352632's user avatar
user3352632
  • Member for 6 years, 6 months
  • Last seen more than 1 year ago
Profile Activity
Stats
219
reputation
5k
reached
0
answers
24
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
10
bronze badges
Top tags
View all tags
0
Score
16
Posts
67
Posts %
0
Score
10
Posts
42
Posts %
0
Score
9
Posts
38
Posts %
0
Score
6
Posts
25
Posts %
0
Score
4
Posts
17
Posts %
0
Score
2
Posts
8
Posts %
Top posts
View all questions and answers
3
Is my truth table for the formula: $A ∧ (A ∨ C) \implies (C ∨ B)$ correct?
Aug 26, 2018
3
Are my DNF and CNF for $A \land (A \lor C) \implies (C \lor B)$ correct?
Aug 26, 2018
2
How can I proof that a model M fulfills a Predicate Logic Formula F?
Jun 8, 2018
2
Is this transformation process of a predicate logic formula into Prenex normal form correct?
Jul 3, 2018
2
Formalizing "Every Italian likes to eat pizza"
Jul 19, 2018
1
Is this possible: ( neg X AND Y) OR neg Z <=> (neg X OR neg Z) AND (neg Y OR Z)
May 31, 2018
1
Logical Formalization of: "Children don't eat pasta with spinach or mushrooms on it"
Jul 25, 2018
1
How to transform this CNF formula (A∨B∨C)∧(¬A∨¬C)∧(¬A∨¬B) into DNF?
Oct 20, 2018
1
What is a useful distance metric (euclidean?) if I want to compare different amounts of attributes depending on the instance being compared?
Mar 30, 2020
0
How can I come from NOT x AND y OR NOT z to two formulas: NOT x OR NOT z and NOT y OR z
May 31, 2018