search
Log In

Questions by joshi_nitish

2 votes
1 answer
1
if it is given -> "Every satisfiable propositional formula is not tautology" then what will it corresponds to? i am writing its hindi, which among below two are correct? "har ek satisfiable formula tautology nahi hota hai" // it is indeed truth. "koi bhi satisfiable formula hua, to wo tautology nahii hoga" // this is false.
asked Jan 24, 2018 in Mathematical Logic 75 views
2 votes
0 answers
2
#include <stdio.h> int main(void) { static int a[10]; int x=0; a[x]=++x; printf("%d %d %d",a[0],a[1],a[2]); return 0; } my doubt here is [ ] has high precedence over ++ which in turn has precedence over =, so i think it a[x] = ++x; is evaluated in 3 phase like, phase1: a[x ... a+0)* -> a* phase2: ++x -> x=1 phase3: a*=1 or a[0]=1 so finally answer should be 1 0 0, but it is giving 0 1 0 as output.
asked Dec 3, 2017 in Programming 102 views
5 votes
1 answer
3
#include <stdio.h> #define A -B #define B -C #define C 5 int main(void) { printf("%d",A); return 0; } now my doubt here is, before compilaion i think macro will make printf part as, printf("%d",--5); which should give L-value error at compile time but, ... doing is printf("%d",-(-5)); leading to no compiler error and giving answer as 5, but macro implicitly never put precedence braces() itself...
asked Nov 5, 2017 in Programming 216 views
3 votes
1 answer
4
No. of bits to represent (traffic class, flow label) in IPv6 header ?? in fourozan it is given as (4, 24) whereas in peterson and tennenbaum it is given as (8, 20)
asked Oct 5, 2017 in Computer Networks 279 views
2 votes
0 answers
5
if A is regular, L= HALF(A)= { x | for some y, |x|= |y| and xy ϵ A} is regular i want to ask if i know DFA for A, how to construct DFA for L ??
asked Aug 1, 2017 in Theory of Computation 107 views
0 votes
1 answer
6
BREAK can be used in switch-case but CONTINUE is not allowed in switch-case but CONTINUE is allowed in DEFAULT case of switch-case..is it correct??
asked Jun 29, 2017 in Programming and DS 113 views
0 votes
0 answers
7
asked Jun 20, 2017 in Databases 316 views
...