user avatar
user avatar
user avatar
PattuX
  • Member for 5 years, 6 months
  • Last seen more than a week ago
4 votes
Accepted

Prove that every to $\varphi_n$ equivalent formula in DNF has at least $2^n$ conjunctive clauses

3 votes

First Order Logic: sentence into symbols

3 votes

Structures in the plot of the "squareness" of numbers

2 votes
Accepted

Derivative Product Rule

2 votes

How to express $ lcm \big( 1, 2, \dots, n \big)$ in terms of factorials $1!, 2!, 3!, \dots, n!$?

2 votes
Accepted

Determine all interpretations which satisfy $\varphi_n :=\bigwedge_{i=1}^{n}(X_i \vee \neg Y_i)$

2 votes

Computation Tree Logic - boolean combinations of path formuas

2 votes
Accepted

Probability of spending a specific amount of time in a specific state for a markov chain

1 vote
Accepted

Proof about logic interpretations and formulas

1 vote

Cayley's formula

1 vote
Accepted

prove $\mathbf{R}$ is a partial ordering of $N^{+}$.

1 vote
Accepted

Given are $3$ propositional formulas. Do we have that $\Phi \vDash \varphi _3$?

1 vote

Show that $L$ is regular, given $L = \{w \in \sum^*|$ the last column in $w$ is twice the first column $\}$

1 vote

Independence of two random variables.

1 vote
Accepted

Applying Euler's theorem in practice

1 vote
Accepted

Variation Confusion

1 vote

Rock drawing possibility

1 vote

Proving that a function with two variables is injective

0 votes

Given an integral of a function f(x) find an integral of f(x^2-1).

0 votes

Cardinality of multiplicative group of a field $GF(q)/f(x)$ where $f(x)$ is an irreducible polynomial over GF(q)

0 votes

x orthogonal to nonzero vectors u and v and x $\in$ Span{u,v} show x = 0

0 votes
Accepted

Solve a congruence $1978^{20}\equiv x\pmod{125}$

0 votes

Example on Euler Totient function

0 votes

Design a tangram

0 votes

Extend binary represented number to prime

0 votes

Throwing Dice N Times

0 votes
Accepted

Eulerian Path In Directed Graph using SCC

0 votes

class of languages strongly recognized by nondeterministic automata coincides with the class of regular languages

0 votes
Accepted

Kleene Star operation proofs

0 votes

Converting a CFG to Chomsky Normal Form